例句與造句

1. But often instead of quantifier elimination a weaker property suffices:
2. If there is such a method we call it a quantifier elimination algorithm.
3. Theories could be decidable yet not admit quantifier elimination.
4. Term algebras can be shown decidable using quantifier elimination.
5. Then, such problems become decidable using quantifier elimination.
6. It's difficult to find quantifier elimination in a sentence. 用quantifier elimination造句挺難的
7. O-minimality can be regarded as a weak form of quantifier elimination.
8. This was first proved by Alfred Tarski; see Tarski Seidenberg theorem and Quantifier elimination.
9. The method of quantifier elimination can be used to show that definable sets in particular theories cannot be too complicated.
10. Early model theory spent much effort on proving axiomatizability and quantifier elimination results for specific theories, especially in algebra.
11. Quantifier elimination can be seen as a condition which ensures that model theory does not say too much about the objects.
12. If a theory does not have quantifier elimination, one can add additional symbols to its signature so that it does.
13. Thus, while this theory does not have full quantifier elimination, formulae can be put in a particularly simple form.
14. Current implementations of decision procedures for the theory of real closed fields are often based on quantifier elimination by cylindrical algebraic decomposition.
15. Davenport and Heintz ( 1988 ) proved that quantifier elimination is in fact ( at least ) exponential space, and therefore in doubly exponential time.
16. I've looked at the quantifier elimination article but it doesn't say how it is actually "'done " '.
更多例句：  下一頁